Revision: tlacontrib--ddaa--1.2--patch-15
Archive: ddaa@ddaa.net--2004
Creator: David Allouche <david@allouche.net>
Date: Sun Mar 28 15:27:49 CEST 2004
Standard-date: 2004-03-28 13:27:49 GMT
Modified-files: tlash/tlash.d/11-tla-short
New-patches: ddaa@ddaa.net--2004/tlacontrib--ddaa--1.2--patch-15
Summary: rename "revert" to "reverse"

Rename the shorthand alias for "tla replay --reverse" from "revert" to
"reverse" to avoid a name clash with a new aba command after a
suggestion from abentley.
